Skip to main content

More right-solid
Show sorted alphabetically
More right-solid
Show sorted alphabetically
SHOW DETAILS
up-solid down-solid
eye
Title
Date Archived
Creator
Community Texts
Nov 27, 2020 Philip Koopman, Deborah Prince
texts
eye 23
favorite 0
comment 0
Technical overview webinar of UL 4600 Phil Koopman Deb Prince October 10, 2010
Topic: ul4600
Community Texts
Nov 27, 2020 Philip Koopman, Kevin Driscoll, Brendan Hall
texts
eye 15
favorite 0
comment 0
This report explores the characteristics of checksums and cyclic redundancy codes (CRCs) in an aviation context.  It includes a literature review, a discussion of error detection performance metrics, a comparison of various checksum and CRC approaches, and a proposed methodology for mapping CRC and checksum design parameters to aviation integrity requirements.  Specific examples studied are Institute of Electrical and Electronics Engineers (IEEE) 802.3 CRC-32; Aeronautical Radio, Incorporated...
Topic: data integrity
Community Texts
Nov 27, 2020 Philip Koopman
texts
eye 6
favorite 0
comment 0
Data integrity and CRCs, FAA Webinar, October 1 2013 checksums, CRC, use in avionics, sponsored by FAA
Topic: data integrity
Community Video
Nov 27, 2020 Philip Koopman
movies
eye 6
favorite 0
comment 0
Data integrity and CRCs, FAA Webinar, October 1 2013 checksums, CRCs, use in avionics, sponsored by FAA
Topic: data integrity
Community Texts
Nov 25, 2020 Philip Koopman
texts
eye 22
favorite 0
comment 0
F117 Stealth fighter paper airplane model
Topic: paper airplanes
Community Texts
Nov 25, 2020 Philip Koopman
texts
eye 29
favorite 1
comment 0
Dime-Weight Flying Paper Airplanes WWII - The Pacific by Phil Koopman Sr. Flying Tigers P-40 Japanese Army Zero Japanese Army Achi VAL USN F6F Hellcat USN SBD-6 Dauntless Japanese Army Nakajima Ki-43
Topic: paper airplanes
Community Texts
Nov 25, 2020 Philip Koopman
texts
eye 17
favorite 0
comment 0
Instructions for paper airplane assembly
Topic: paper airplanes
Community Texts
Nov 25, 2020 Philip Koopman
texts
eye 31
favorite 0
comment 0
PENNY-WEIGHT FLYING PAPER AIRPLANES  Cut, Fold & Fly- WWII Pacific, Volume 2 (alternate color schemes)  Phil Koopman, Sr.  • Introduction • Building Instructions • How to Fly • P40 (US red ball; v2) • P40 (US blue bar; v3) • Zero (Gray; v2) • Zero (Gray/Blue; v3) • Zero (Vector Blue; v4) • Zero (Blue/red; v5) • Wildcat (Gray/yellow; v2) • Wildcat (Gray/blue; v3) • Val (Gray; v2) • Hellcat (Vector 1943; v2) • Hellcat (v3) • Hellcat (Vector; v4) • Dauntless...
Topic: paper airplanes
Community Texts
Nov 25, 2020 Philip Koopman
texts
eye 24
favorite 0
comment 0
PENNY-WEIGHT FLYING PAPER AIRPLANES Cut, Fold & Fly – WWII Pacific, Volume 1  Phil Koopman, Sr.  • Introduction • Building Instructions • How to Fly • Curtiss P40 “Warhawk” (Flying Tigers) • Mitsubishi A6M “Zero” • Grumman F4F “Wildcat” • Aichi D3A “Val” • Grumman F6F “Hellcat” (1943 Markings) • Nakajima Ki-43 “Oscar” • SBD Dauntless
Topic: paper airplanes
Community Texts
Nov 25, 2020 Philip Koopman
texts
eye 4
favorite 0
comment 0
UL 4600 autonomous products safety standard, voting version as of Dec 13, 2019.   There are some minor changes between this and Version 1 of the standard, but the vast majority of the content is identical. This version was approved for public release by Underwriters Laboratories for personal use. However they do not relinquish further rights.
Topics: autonomous vehicles, safety, UL4600
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 16
favorite 0
comment 0
18-642 Lecture #41  Carnegie Mellon University, Fall 2020 Password strength; storing passwords & salt/pepper/key stretching; Adobe password hack; least privilege; Jeep firewall hack; secure update; secure boot; encryption vs. signing revisited; penetration testing; code analysis; other security approaches
Topics: 18642, security
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 15
favorite 0
comment 0
18-642 Lecture #42  Carnegie Mellon University, Fall 2020 Konami code; security via obscurity; hotel lock USB hack; Kerckhoff's principle; hospital WPA setup hack; DECSS; Lodz tram attack; proper use of cryptography; zero day exploits; security snake oil; realities of in-system firewalls; aircraft infotainment and firewalls; zombie road sign hack
Topics: 18642, security
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 8
favorite 0
comment 0
18-642 Lecture #42  Carnegie Mellon University, Fall 2020 Konami code; security via obscurity; hotel lock USB hack; Kerckhoff's principle; hospital WPA setup hack; DECSS; Lodz tram attack; proper use of cryptography; zero day exploits; security snake oil; realities of in-system firewalls; aircraft infotainment and firewalls; zombie road sign hack
Topics: 18642, security
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 13
favorite 0
comment 0
18-642 Lecture #38  Carnegie Mellon University, Fall 2020 Security plan elements; Target Attack; security requirements; threats; vulnerabilities; mitigation; validation
Topics: 18642, security
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 18
favorite 0
comment 0
18-642 Lecture #40  Carnegie Mellon University, Fall 2020 Exploit vs. attack; Kettle spambot; weak passwords; master passwords; crypto key length; Mirai botnet attack; crypto mistakes; LIFX revisited; CarShark revisited; chip peels; hidden functionality; counterfeit systems; cloud connected devices; embedded-specific attacks
Topics: 18642, security
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 6
favorite 0
comment 0
18-642 Lecture #41  Carnegie Mellon University, Fall 2020 Password strength; storing passwords & salt/pepper/key stretching; Adobe password hack; least privilege; Jeep firewall hack; secure update; secure boot; encryption vs. signing revisited; penetration testing; code analysis; other security approaches
Topics: 18642, security
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 7
favorite 0
comment 0
18-642 Lecture #40  Carnegie Mellon University, Fall 2020 Exploit vs. attack; Kettle spambot; weak passwords; master passwords; crypto key length; Mirai botnet attack; crypto mistakes; LIFX revisited; CarShark revisited; chip peels; hidden functionality; counterfeit systems; cloud connected devices; embedded-specific attacks
Topics: 18642, security
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 3
favorite 0
comment 0
18-642 Lecture #38  Carnegie Mellon University, Fall 2020 Security plan elements; Target Attack; security requirements; threats; vulnerabilities; mitigation; validation
Topics: 18642, security
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 4
favorite 0
comment 0
18-642 Lecture #39  Carnegie Mellon University, Fall 2020 Stuxnet; attack motivation; attacker threat levels; DirectTV piracy; operational environment; porous firewalls; Davis Besse incident; BlueSniper rifle; integrity; authentication; secrecy; privacy; LG Smart TV privacy; DoS/DDos; feature activation; St. Jude pacemaker recall
Topics: 18642, security
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 21
favorite 0
comment 0
18-642 Lecture #39  Carnegie Mellon University, Fall 2020 Stuxnet; attack motivation; attacker threat levels; DirectTV piracy; operational environment; porous firewalls; Davis Besse incident; BlueSniper rifle; integrity; authentication; secrecy; privacy; LG Smart TV privacy; DoS/DDos; feature activation; St. Jude pacemaker recall
Topics: 18642, security
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 19
favorite 0
comment 0
18-642 Lecture #35  Carnegie Mellon University, Fall 2020 Supplemental lecture with more detail on patterns: low SIL; self-diagnosis; partitioning; fail operational; voting; fail silent; dual 2-of-2; Ariane 5 Flight 501; fail silent patterns (low, high, mixed SIL); high availability mixed SIL pattern
Topics: 18642, safety
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 13
favorite 0
comment 0
18-642 Lecture #37  Carnegie Mellon University, Fall 2020 Confusion & diffusion; Caesar cipher; frequency analysis; Enigma; Lorenz & Colossus; DES; AES; public key cryptography; secure hashing; digital signatures; certificates; PKI; encrypting vs. signing for firmware update
Topics: 18642, security
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 20
favorite 0
comment 0
18-642 Lecture #36  Carnegie Mellon University, Fall 2020 Sources of faults; soft errors; Hamming distance; parity; mirroring; SECDED; checksum; CRC
Topics: 18642, safety, data integrity
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 9
favorite 0
comment 0
18-642 Lecture #37  Carnegie Mellon University, Fall 2020 Confusion & diffusion; Caesar cipher; frequency analysis; Enigma; Lorenz & Colossus; DES; AES; public key cryptography; secure hashing; digital signatures; certificates; PKI; encrypting vs. signing for firmware update
Topics: 18642, security
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 8
favorite 0
comment 0
18-642 Lecture #36  Carnegie Mellon University, Fall 2020 Sources of faults; soft errors; Hamming distance; parity; mirroring; SECDED; checksum; CRC
Topics: 18642, safety, data integrity
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 11
favorite 0
comment 0
18-642 Lecture #34  Carnegie Mellon University, Fall 2020 Bellingham WA gasoline pipeline mishap; redundancy for availability; redundancy for fault detection; Ariane 5 Flight 501; fail operational; triplex modular redundancy (TMR) 2-of-3 pattern; dual 2-of-2 pattern; high-SIL Doer/Checker pattern; diagnostic effectiveness and proof tests
Topics: 18642, safety
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 6
favorite 0
comment 0
18-642 Lecture #35  Carnegie Mellon University, Fall 2020 Supplemental lecture with more detail on patterns: low SIL; self-diagnosis; partitioning; fail operational; voting; fail silent; dual 2-of-2; Ariane 5 Flight 501; fail silent patterns (low, high, mixed SIL); high availability mixed SIL pattern
Topics: 18642, safety
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 3
favorite 0
comment 0
18-642 Lecture #34  Carnegie Mellon University, Fall 2020 Bellingham WA gasoline pipeline mishap; redundancy for availability; redundancy for fault detection; Ariane 5 Flight 501; fail operational; triplex modular redundancy (TMR) 2-of-3 pattern; dual 2-of-2 pattern; high-SIL Doer/Checker pattern; diagnostic effectiveness and proof tests
Topics: 18642, safety
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 14
favorite 0
comment 0
18-642 Lecture #31  Carnegie Mellon University, Fall 2020 Fault containment regions (FCR); Toyota UA single point failure; multi-channel pattern; monitor pattern; safety gate pattern; correlated & accumulated faults
Topics: 18642, safety
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 5
favorite 0
comment 0
18-642 Lecture #33  Carnegie Mellon University, Fall 2020 Isolating different SILs, mixed-SIL interference sources; mitigating cross-SIL interference; isolation and security; CarShark hack
Topics: 18642, safety
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 10
favorite 0
comment 0
18-642 Lecture #31  Carnegie Mellon University, Fall 2020 Fault containment regions (FCR); Toyota UA single point failure; multi-channel pattern; monitor pattern; safety gate pattern; correlated & accumulated faults
Topics: 18642, safety
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 11
favorite 0
comment 0
18-642 Lecture #33  Carnegie Mellon University, Fall 2020 Isolating different SILs, mixed-SIL interference sources; mitigating cross-SIL interference; isolation and security; CarShark hack
Topics: 18642, safety
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 15
favorite 0
comment 0
18-642 Lecture #32  Carnegie Mellon University, Fall 2020 Identifying safety-related requirements; safety envelope; Doer/Checker pattern
Topics: 18642, safety
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 8
favorite 0
comment 0
18-642 Lecture #32  Carnegie Mellon University, Fall 2020 Identifying safety-related requirements; safety envelope; Doer/Checker pattern
Topics: 18642, safety
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 13
favorite 0
comment 0
18-642 Lecture #34  Carnegie Mellon University, Fall 2020 Bellingham WA gasoline pipeline mishap; redundancy for availability; redundancy for fault detection; Ariane 5 Flight 501; fail operational; triplex modular redundancy (TMR) 2-of-3 pattern; dual 2-of-2 pattern; high-SIL Doer/Checker pattern; diagnostic effectiveness and proof tests
Topics: 18642, safety
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 4
favorite 0
comment 0
18-642 Lecture #34  Carnegie Mellon University, Fall 2020 Bellingham WA gasoline pipeline mishap; redundancy for availability; redundancy for fault detection; Ariane 5 Flight 501; fail operational; triplex modular redundancy (TMR) 2-of-3 pattern; dual 2-of-2 pattern; high-SIL Doer/Checker pattern; diagnostic effectiveness and proof tests
Topics: 18642, safety
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 15
favorite 0
comment 0
18-642 Lecture #27  Carnegie Mellon University, Fall 2020 Defense in depth; safety principles; safety culture; Challenger mishap; Therac 25
Topics: 18642, safety
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 6
favorite 0
comment 0
18-642 Lecture #27  Carnegie Mellon University, Fall 2020 Defense in depth; safety principles; safety culture; Challenger mishap; Therac 25
Topics: 18642, safety
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 14
favorite 0
comment 0
18-642 Lecture #28  Carnegie Mellon University, Fall 2020 Dependability; availability; Windows 2000 server crash; reliability; serial and parallel reliability; example reliability calculation; other aspects of dependability
Topics: 18642, safety
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 6
favorite 0
comment 0
18-642 Lecture #29  Carnegie Mellon University, Fall 2020 Safety critical vs. mission critical; worst case and safety; HVAC malfunction hazard; Safety Integrity Levels (SIL); Bhopal; IEC 61508; fleet exposure
Topics: 18642, safety
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 13
favorite 0
comment 0
18-642 Lecture #29  Carnegie Mellon University, Fall 2020 Safety critical vs. mission critical; worst case and safety; HVAC malfunction hazard; Safety Integrity Levels (SIL); Bhopal; IEC 61508; fleet exposure
Topics: 18642, safety
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 14
favorite 0
comment 0
18-642 Lecture #30  Carnegie Mellon University, Fall 2020 Safety plan elements; functional safety approaches; hazards & risks; safety goals & safety requirements; FMEA; FTA; safety case (GSN)
Topics: 18642, safety
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 5
favorite 0
comment 0
18-642 Lecture #28  Carnegie Mellon University, Fall 2020 Dependability; availability; Windows 2000 server crash; reliability; serial and parallel reliability; example reliability calculation; other aspects of dependability
Topics: 18642, safety
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 4
favorite 0
comment 0
18-642 Lecture #30  Carnegie Mellon University, Fall 2020 Safety plan elements; functional safety approaches; hazards & risks; safety goals & safety requirements; FMEA; FTA; safety case (GSN)
Topics: 18642, safety
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 18
favorite 0
comment 0
Shows a NaN handling bug in a wheeled robot
Topics: 18642, software quality
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 14
favorite 0
comment 0
18-642 Lecture #25  Carnegie Mellon University, Fall 2020 Keeping time; time terminology; clock synchronization; time zones; DST; local time; sunrise/sunset; mobility and time; date line; GMT/UTC; leap years; leap seconds; time rollovers; Zune leap year bug; internationalization.
Topics: 18642, software quality
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 12
favorite 0
comment 0
18-642 Lecture #23  Carnegie Mellon University, Fall 2020 Bug fix cycle; bug prioritization; maintenance as a large cost driver; technical debt
Topics: 18642, software process
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 14
favorite 0
comment 0
18-642 Lecture #24  Carnegie Mellon University, Fall 2020 Tester to developer ratio; code productivity; peer review effectiveness
Topics: 18642, software process, software quality
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 17
favorite 0
comment 0
18-642 Lecture #26  Carnegie Mellon University, Fall 2020 Floating point formats; special values; NaN and robots; roundoff errors; Patriot Missile mishap
Topics: 18642, software quality
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 6
favorite 0
comment 0
18-642 Lecture #26  Carnegie Mellon University, Fall 2020 Floating point formats; special values; NaN and robots; roundoff errors; Patriot Missile mishap
Topics: 18642, software quality
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 6
favorite 0
comment 0
18-642 Lecture #24  Carnegie Mellon University, Fall 2020 Tester to developer ratio; code productivity; peer review effectiveness
Topics: 18642, software process, software quality
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 7
favorite 0
comment 0
18-642 Lecture #25  Carnegie Mellon University, Fall 2020 Keeping time; time terminology; clock synchronization; time zones; DST; local time; sunrise/sunset; mobility and time; date line; GMT/UTC; leap years; leap seconds; time rollovers; Zune leap year bug; internationalization.
Topics: 18642, software quality
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 4
favorite 0
comment 0
18-642 Lecture #23  Carnegie Mellon University, Fall 2020 Bug fix cycle; bug prioritization; maintenance as a large cost driver; technical debt
Topics: 18642, software process
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 19
favorite 0
comment 0
18-642 Lecture #18  Carnegie Mellon University, Fall 2020 First bug story; effective test plans; testing won't find all bugs; F-22 Raptor date line bug; bug farms; risks of bad software
Topics: 18642, software process
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 13
favorite 0
comment 0
18-642 Lecture #19  Carnegie Mellon University, Fall 2020 Therac 25; race condition example; disabling interrupts; mutex; blocking time; priority inversion; priority inheritance; Mars Pathfinder
Topics: 18642, software quality
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 14
favorite 0
comment 0
18-642 Lecture #21  Carnegie Mellon University, Fall 2020 A400M crash; version control; configuration management; long lifecycles
Topics: 18642, software process
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 17
favorite 0
comment 0
18-642 Lecture #20  Carnegie Mellon University, Fall 2020 SQA elements; audits; SQA as coaching staff; cost of defect fixes over project cycle
Topics: 18642, software process
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 8
favorite 0
comment 0
18-642 Lecture #18  Carnegie Mellon University, Fall 2020 First bug story; effective test plans; testing won't find all bugs; F-22 Raptor date line bug; bug farms; risks of bad software
Topics: 18642, software process
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 12
favorite 0
comment 0
18-642 Lecture #20  Carnegie Mellon University, Fall 2020 SQA elements; audits; SQA as coaching staff; cost of defect fixes over project cycle
Topics: 18642, software process
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 6
favorite 0
comment 0
18-642 Lecture #21  Carnegie Mellon University, Fall 2020 A400M crash; version control; configuration management; long lifecycles
Topics: 18642, software process
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 7
favorite 0
comment 0
18-642 Lecture #19  Carnegie Mellon University, Fall 2020 Therac 25; race condition example; disabling interrupts; mutex; blocking time; priority inversion; priority inheritance; Mars Pathfinder
Topics: 18642, software quality
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 14
favorite 0
comment 0
18-642 Lecture #16  Carnegie Mellon University, Fall 2020 Black box testing; white box testing; unit testing strategies; MCDC coverage; unit testing frameworks (cunit)
Topics: 18642, software process
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 12
favorite 0
comment 0
18-642 Lecture #15  Carnegie Mellon University, Fall 2020 Smoke testing, exploratory testing; methodical test coverage; types of testing; testing philosophy; coverage; testing resources
Topics: 18642, software process
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 9
favorite 0
comment 0
18-642 Lecture #17  Carnegie Mellon University, Fall 2020 Integration test approaches; tracing integration tests to SDs; network message testing; using SDs to generate unit tests
Topics: 18642, software process
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 9
favorite 0
comment 0
18-642 Lecture #17  Carnegie Mellon University, Fall 2020 Integration test approaches; tracing integration tests to SDs; network message testing; using SDs to generate unit tests
Topics: 18642, software process
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 8
favorite 0
comment 0
18-642 Lecture #16  Carnegie Mellon University, Fall 2020 Black box testing; white box testing; unit testing strategies; MCDC coverage; unit testing frameworks (cunit)
Topics: 18642, software process
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 12
favorite 0
comment 0
18-642 Lecture #15  Carnegie Mellon University, Fall 2020 Smoke testing, exploratory testing; methodical test coverage; types of testing; testing philosophy; coverage; testing resources
Topics: 18642, software process
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 14
favorite 0
comment 0
18-642 Lecture #14 Carnegie Mellon University, Fall 2020 Traceability across the V; examples; best practices
Topics: 18642, software process
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 12
favorite 0
comment 0
18-642 Lecture #13  Carnegie Mellon University, Fall 2020 Statechart elements; statechart example; statechart implementation
Topics: 18642, software process
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 11
favorite 0
comment 0
18-642 Lecture #12  Carnegie Mellon University, Fall 2020 High Level Design (HLD); boxes and arrows; sequence diagrams (SD); statechart to SD relationship
Topics: 18642, software process
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 7
favorite 0
comment 0
18-642 Lecture #14 Carnegie Mellon University, Fall 2020 Traceability across the V; examples; best practices
Topics: 18642, software process
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 10
favorite 0
comment 0
18-642 Lecture #13  Carnegie Mellon University, Fall 2020 Statechart elements; statechart example; statechart implementation
Topics: 18642, software process
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 9
favorite 0
comment 0
18-642 Lecture #12  Carnegie Mellon University, Fall 2020 High Level Design (HLD); boxes and arrows; sequence diagrams (SD); statechart to SD relationship
Topics: 18642, software process
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 15
favorite 0
comment 0
18-642 Lecture #11  Carnegie Mellon University, Fall 2020 Stack overflow mechanics; memory corruption; stack sentinels; static analysis; memory protection; avoid recursion
Topics: 18642, code quality
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 9
favorite 0
comment 0
18-642 Lecture #11  Carnegie Mellon University, Fall 2020 Stack overflow mechanics; memory corruption; stack sentinels; static analysis; memory protection; avoid recursion
Topics: 18642, code quality
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 28
favorite 0
comment 0
18-642 Lecture #10  Carnegie Mellon University, Fall 2020 Case study of Toyota UA
Topics: 18642, code quality, safety
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 13
favorite 0
comment 0
18-642 Lecture #8  Carnegie Mellon University, Fall 2020 Global vs. static variables; avoiding and removing globals
Topics: 18642, code quality
Community Video
Nov 22, 2020 Philip Koopman
movies
eye 19
favorite 0
comment 0
18-642 Lecture #9  Carnegie Mellon University, Fall 2020 McCabe Cyclomatic Complexity (MCC); SCC; Spaghetti Factor (SF)
Topics: 18642, code quality
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 12
favorite 0
comment 0
18-642 Lecture #10  Carnegie Mellon University, Fall 2020 Case study of Toyota UA
Topics: 18642, software quality, safety
Community Texts
Nov 22, 2020 Philip Koopman
texts
eye 12
favorite 0
comment 0
18-642 Lecture #9  Carnegie Mellon University, Fall 2020 McCabe Cyclomatic Complexity (MCC); SCC; Spaghetti Factor (SF)
Topics: 18642, code quality
Community Texts
Nov 21, 2020 Philip Koopman
texts
eye 6
favorite 0
comment 0
18-642 Lecture #6  Carnegie Mellon University, Fall 2020 Peer Review Checklist work aid
Topics: 18642, code quality
Community Texts
Nov 21, 2020 Philip Koopman
texts
eye 7
favorite 0
comment 0
18-642 Lecture #7  Carnegie Mellon University, Fall 2020 Ariane 5 flight 501; rules for good requirements; problematic requirements; extra-functional requirements; requirements approaches; ambiguity
Topics: 18642, code quality, safety
Community Video
Nov 21, 2020 Philip Koopman
movies
eye 12
favorite 0
comment 0
18-642 Lecture #7  Carnegie Mellon University, Fall 2020 Ariane 5 flight 501; rules for good requirements; problematic requirements; extra-functional requirements; requirements approaches; ambiguity
Topics: 18642, code quality, safety
Community Texts
Nov 21, 2020 Philip Koopman
texts
eye 10
favorite 0
comment 0
18-642 Lecture #8  Carnegie Mellon University, Fall 2020 Global vs. static variables; avoiding and removing globals
Topics: 18642, code quality
Community Video
Nov 21, 2020 Philip Koopman
movies
eye 12
favorite 0
comment 0
18-642 Lecture #6  Carnegie Mellon University, Fall 2020 Effective code quality practices, peer review efficiency and effectiveness; Fagan inspections; rules for peer review; review report; perspective-based reviews; review checklist; case study; economics of peer review.
Topics: 18642, code quality
Community Texts
Nov 21, 2020 Philip Koopman
texts
eye 3
favorite 0
comment 0
18-642 Lecture #6  Carnegie Mellon University, Fall 2020 Effective code quality practices, peer review efficiency and effectiveness; Fagan inspections; rules for peer review; review report; perspective-based reviews; review checklist; case study; economics of peer review.
Topics: 18642, code quality
Community Video
Nov 21, 2020 Philip Koopman
movies
eye 16
favorite 0
comment 0
18-642 Embedded System Fall 2020 Carnegie Mellon University Lecture #5 Pitfalls and problems with C; language use guidelines and analysis tools; using language wisely (strong typing); Mars Climate Orbiter; deviations & legacy code
Topics: 18642, code quality
Community Texts
Nov 21, 2020 Philip Koopman
texts
eye 10
favorite 0
comment 0
18-642 Embedded System Fall 2020 Carnegie Mellon University Lecture #5 Pitfalls and problems with C; language use guidelines and analysis tools; using language wisely (strong typing); Mars Climate Orbiter; deviations & legacy code
Topics: 18642, code quality
Community Video
Nov 21, 2020 Philip Koopman
movies
eye 20
favorite 0
comment 0
18-642 Embedded System Fall 2020 Carnegie Mellon University Lecture #4 Making code easy to read; good code hygiene; avoiding premature optimization; coding style
Topics: 18642, code quality
Community Texts
Nov 21, 2020 Philip Koopman
texts
eye 17
favorite 0
comment 0
18-642 Embedded System Fall 2020 Carnegie Mellon University Lecture #4 Making code easy to read; good code hygiene; avoiding premature optimization; coding style
Topics: 18642, code quality
Community Video
Nov 21, 2020 Philip Koopman
movies
eye 30
favorite 0
comment 0
18-642 Lecture # 3 Carnegie Mellon University, Fall 2020 Waterfall; swiss cheese model; lessons learned in software; V model; design vs. code; agile methods; agile for embedded
Topics: 18642, software quality
Community Texts
Nov 21, 2020 Philip Koopman
texts
eye 12
favorite 0
comment 0
18-642 Lecture # 3 Carnegie Mellon University, Fall 2020 Waterfall; swiss cheese model; lessons learned in software; V model; design vs. code; agile methods; agile for embedded
Topics: 18642, code quality
Community Texts
Nov 21, 2020 Philip Koopman
texts
eye 12
favorite 0
comment 0
18-642 Lecture #2  Carnegie Mellon University, Fall 2020
Topic: 18642
Community Video
Nov 21, 2020 Philip Koopman
movies
eye 38
favorite 0
comment 0
18-642 Embedded System Fall 2020 Carnegie Mellon University Lecture #1
Topics: 18642, code quality, safety, security
Community Texts
Nov 21, 2020 Philip Koopman
texts
eye 31
favorite 0
comment 0
18-642 Lecture #1  Carnegie Mellon University, Fall 2020 Challenges of embedded code; it only takes one line of bad code; problems with large scale production; your products live or die by their software; considering the worst case; designing for safety; security matters; industrial controls as targets; designing for security; testing isn't enough
Topics: 18642, code quality, safety, security